21. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
22. Logique , Sematique metamathe matique , 1923-1944
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Logic symbolic and mathematical
رده :
QA
9
.
T2
L6
23. Ordinal algebras
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T37
24. Ordinal algebras
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic,، Arithmetic - Foundations
رده :
QA
10
.
T37
25. Ordinal algebras : with appendices
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T3
26. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
BC135
،.
I5
1965
27. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
28. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
29. Undecidable theories
پدیدآورنده : Tarski, Alfred
موضوع : ، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Undecidable theories
پدیدآورنده : Alfred Tarski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
31. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
